#include <stdio.h>
#include <string.h>
int main()
{
	char str[101];
	scanf("%s",str);
	int len=strlen(str);
	int num[20]={0};
	int index=0;
	for(int i=0;i<len;)
	{
		int count=1;
		if(str[i]>='0'&&str[i]<='9')
		{
			while(i+count<len&&(str[i+count]>='0'&&str[i+count]<='9'))
			{
				count++;
			}
			for(int s=i;s<i+count;s++)
			{
				num[index]=num[index]*10+str[s]-'0';
			}
			index++;
			i+=count;
		}
		
		else
		{
			i++;
		}
	}
	for(int i=0;i<index-1;i++)
	{
		for(int j=0;j<index-1-i;j++)
		{
			if(num[j]<num[j+1])
			{
				int temp=num[j];
				num[j]=num[j+1];
				num[j+1]=temp;
			}
		}
	}
	for(int i=0;i<index;i++)
	{
		printf("%d ",num[i]);
	}
	return 0;
}


